A Riemannian metric (tensor) makes it possible to define various geometric notions on a Riemannian manifold, such as angles, lengths of curves, areas (or volumes), curvature, gradients of functions and divergence of vector fields. ==Introduction== In 1828, Carl Friedrich Gauss proved his Theorema Egregium (remarkable theorem in Latin), establishin...